1. ESOP '88
پدیدآورنده : H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
2. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
3. From Point to Pixel:
پدیدآورنده : Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
4. Larch
پدیدآورنده : John V. Guttag, James J. Horning ; with S.J. Garland ... ]et al.[
موضوع : Electronic digital computers -- Programming,Computer software -- Development,Larch )Computer program language(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
5. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
موضوع : Electronic digital computers - Programming,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
7. XML Schema /
پدیدآورنده : Eric van der Vlist.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
رده :
QA76
.
76
.
H94
V36
2002